Tweaks for www.gnu.org html versions of manuals
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Mar 2013 07:15:15 +0000 (00:15 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Mar 2013 07:15:15 +0000 (00:15 -0700)
commit506d5d9aebfe67ebb559b880f2a599db87e1dca2
tree6f0d004e5d3761a5df8fce885d7e417cb4071d1f
parent3d36bb01c83226ecfde7a502e1ca648f72799daf
Tweaks for www.gnu.org html versions of manuals

* admin/admin.el (manual-html-mono, manual-html-node): Add -DWWW_GNU_ORG.

* doc/emacs/emacs.texi (Top): Add some stuff specific to www.gnu.org.

* doc/lispintro/emacs-lisp-intro.texi: Add some stuff specific to www.gnu.org.

* doc/lispref/elisp.texi: Add some stuff specific to www.gnu.org.
admin/ChangeLog
admin/admin.el
doc/emacs/ChangeLog
doc/emacs/emacs.texi
doc/lispintro/ChangeLog
doc/lispintro/emacs-lisp-intro.texi
doc/lispref/ChangeLog
doc/lispref/elisp.texi